11![Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for](https://www.pdfsearch.io/img/0f6328f71fdc8f04466c88b2cb2e96be.jpg) | Add to Reading ListSource URL: sml-family.orgLanguage: English - Date: 2016-04-04 09:33:37
|
---|
12![Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract](https://www.pdfsearch.io/img/2a505d05a456757ca6341eb1cb927786.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:54
|
---|
13![sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti ·](https://www.pdfsearch.io/img/4af5c9790af2b08206f26da8bf81a300.jpg) | Add to Reading ListSource URL: matita.cs.unibo.itLanguage: English - Date: 2009-02-26 11:27:55
|
---|
14![ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy](https://www.pdfsearch.io/img/bc132fcace8e77ec977d48375b5dc388.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:08
|
---|
15![simply typed λ-calculus logical verification week simply typed λ-calculus logical verification week](https://www.pdfsearch.io/img/2aab5693bf00326191fb64b5f1f84443.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2004-12-15 12:39:12
|
---|
16![Functional languages / Object-oriented programming languages / Data types / Parsing / Type theory / F Sharp / Lexical analysis / Type system / OCaml / Anonymous function / Scala / Type inference Functional languages / Object-oriented programming languages / Data types / Parsing / Type theory / F Sharp / Lexical analysis / Type system / OCaml / Anonymous function / Scala / Type inference](/pdf-icon.png) | Add to Reading ListSource URL: fsharp.orgLanguage: English - Date: 2016-08-15 16:34:27
|
---|
17![Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT](https://www.pdfsearch.io/img/da28abb230125a50739c46eebe89a6f3.jpg) | Add to Reading ListSource URL: karpinski.orgLanguage: English - Date: 2016-04-13 16:19:52
|
---|
18![Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,](https://www.pdfsearch.io/img/591812de92083087e5378fb4a5896b99.jpg) | Add to Reading ListSource URL: www.math.nagoya-u.ac.jpLanguage: English - Date: 2005-02-23 20:45:34
|
---|
19![Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program](https://www.pdfsearch.io/img/e72f4868843ff578e6ab846f31d29a40.jpg) | Add to Reading ListSource URL: www.cs.princeton.eduLanguage: English - Date: 2013-09-23 14:54:00
|
---|
20![Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document. Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document.](https://www.pdfsearch.io/img/3fabf795428dd27919046b9696a0b243.jpg) | Add to Reading ListSource URL: cheatsheet.codeslower.comLanguage: English - Date: 2013-07-22 18:47:53
|
---|